31![INFINITYBranching-Time Model-Checking of Probabilistic Pushdown Automata Tom´asˇ Br´azdil1 V´aclav Broˇzek2 Vojtˇech Forejt3 Faculty of Informatics INFINITYBranching-Time Model-Checking of Probabilistic Pushdown Automata Tom´asˇ Br´azdil1 V´aclav Broˇzek2 Vojtˇech Forejt3 Faculty of Informatics](https://www.pdfsearch.io/img/5632e8dfcf42bd0569a02e39068e0345.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2013-12-01 12:53:36
|
---|
32![Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives? Tom´asˇ Br´azdil, Vojtˇech Forejt, and Anton´ın Kuˇcera Faculty of Informatics, Masaryk University, B Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives? Tom´asˇ Br´azdil, Vojtˇech Forejt, and Anton´ın Kuˇcera Faculty of Informatics, Masaryk University, B](https://www.pdfsearch.io/img/9541ef10620d78537f486da1b75fcc15.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2013-12-01 09:40:50
|
---|
33![Multi-Observation Elicitation Sebastian Casalaina-Martin Rafael Frongillo Tom Morgan Bo Waggoner Multi-Observation Elicitation Sebastian Casalaina-Martin Rafael Frongillo Tom Morgan Bo Waggoner](https://www.pdfsearch.io/img/80e3376138f0244d08921d226ff89ca6.jpg) | Add to Reading ListSource URL: www.bowaggoner.comLanguage: English - Date: 2017-07-12 06:17:02
|
---|
34![MuJoCo: A physics engine for model-based control Emanuel Todorov, Tom Erez and Yuval Tassa University of Washington Abstract— We describe a new physics engine tailored to model-based control. Multi-joint dynamics are r MuJoCo: A physics engine for model-based control Emanuel Todorov, Tom Erez and Yuval Tassa University of Washington Abstract— We describe a new physics engine tailored to model-based control. Multi-joint dynamics are r](https://www.pdfsearch.io/img/e141ae5bed9191e4ea8ade71ed433b4a.jpg) | Add to Reading ListSource URL: homes.cs.washington.eduLanguage: English - Date: 2012-07-24 02:47:44
|
---|
35![Do long-term institutional investors contribute to financial stability? – Evidence from equity investment in Hong Kong and international markets Tom Fong Hong Kong Monetary Authority Do long-term institutional investors contribute to financial stability? – Evidence from equity investment in Hong Kong and international markets Tom Fong Hong Kong Monetary Authority](https://www.pdfsearch.io/img/ad49700d54fc62f5330203a88ef96827.jpg) | Add to Reading ListSource URL: www.hkimr.orgLanguage: English - Date: 2018-09-17 03:21:18
|
---|
36![An Offline Capture The Flag-Style Virtual Machine and an Assessment of its Value for Cybersecurity Education Tom Chothia School of Computer Science University of Birmingham, UK An Offline Capture The Flag-Style Virtual Machine and an Assessment of its Value for Cybersecurity Education Tom Chothia School of Computer Science University of Birmingham, UK](https://www.pdfsearch.io/img/9430d8a909fb53abad392ac50100ab78.jpg) | Add to Reading ListSource URL: www.cs.bham.ac.ukLanguage: English - Date: 2017-06-07 20:45:26
|
---|
37![](/pdf-icon.png) | Add to Reading ListSource URL: www.astro-tom.com- Date: 2016-10-15 17:04:37
|
---|
38![](/pdf-icon.png) | Add to Reading ListSource URL: www.astro-tom.com- Date: 2016-10-15 17:04:38
|
---|
39![](/pdf-icon.png) | Add to Reading ListSource URL: ukmaster.tom.ru- Date: 2017-10-17 09:39:09
|
---|
40![](/pdf-icon.png) | Add to Reading ListSource URL: www.astro-tom.com- Date: 2016-10-15 17:04:37
|
---|